Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
451	How to Go Beyond the Black-Box Simulation Barrier Boaz Barak∗ December 30, 2008 Abstract The simulation paradigm is central to cryptography. A simulator is an algorithm that tries Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:51:40 Probabilistic complexity theory Cryptographic protocols Computational complexity theory Complexity classes Zero-knowledge proof Interactive proof system IP Commitment scheme NP Theoretical computer science Applied mathematics Cryptography
452	Normalization by realizability also evaluates Pierre-Évariste Dagand1 & Gabriel Scherer2 1: Gallium, INRIA Paris-Rocquencourt 2: Gallium, INRIA Paris-Rocquencourt Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-12-03 02:55:37 Logic Symbol Curry–Howard correspondence Valuation Forcing Natural deduction Physical quantity Mathematical logic Mathematics Proof theory
453	Towards Normalization by Evaluation for the βη-Calculus of Constructions Andreas Abel Project PI.R2, INRIA Rocquencourt and PPS, Paris Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-18 18:03:08 Theoretical computer science Lambda calculus Normalisation by evaluation Natural deduction Symbol Proof theory Mathematical logic Programming language theory
454	Summary of Mathematical Notation Jean-Raymond Abrial (ETHZ) March 2008 Purpose of this Presentation Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:49 Modus ponens Inference Rule of inference Natural deduction Structural proof theory Logic Proof theory Sequent
455	Secrecy and Authenticity Types for Secure Distributed Messaging? Michele Bugliesi, Stefano Calzavara, and Damiano Macedonio Universit` a Ca’ Foscari Venezia, Dipartimento di Informatica {michele,scalzava,mace}@dsi.univ Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:59 Logic in computer science Mathematical logic Mathematical analysis Modular forms Curry–Howard correspondence Natural deduction Symbol Mathematics Proof theory
456	CONTINUANTS AND SEMI-REGULAR CONTINUED FRACTIONS ALAN OFFER Abstract. This note arose while studying Perron’s proof of Satz 5.1, [2, pPerron used inequalities involving the Bν,λ and Keith Matthews challenged Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2010-08-01 16:40:16 Support Representation theory of Lie groups Operator theory Ordinary differential equations Mathematical analysis Spectral theory Measure theory
457	Euler Formula Tanya Khovanova May 6, 2013 Class Discussion Euler formula: E + 2 = V + F . Proof. Euler formula for a sphere and a torus. Walter Wick’s Optical Tricks. Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2013-12-12 14:13:35 Puzzles Water gas and electricity Planar graph Leonhard Euler Graph Tree Graph theory Mathematics Topological graph theory
458	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
459	Fast Additive Constant Approximation Algorithms for The Safe Deposit Boxes Problem with Two and Three Currencies Boaz Ben-Moshe1 1 Yefim Dinitz2 Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:26:42 Ordinal numbers Logic Ordinal arithmetic Set theory Curry–Howard correspondence Mathematical logic Proof theory Mathematics
460	Prior’s tonk John MacFarlane — Philosophy 142 March 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-03-15 15:06:47 Logical consequence Metalogic Philosophy of mathematics Entailment Rule of inference Inference Negation Proof theory Rudolf Carnap Logic Propositional calculus Logical syntax

UPDATE